home *** CD-ROM | disk | FTP | other *** search
/ Whiteline: delta / whiteline CD Series - delta.iso / tex / style / misc / zmacros.tex / node5_mn.html < prev    next >
Text File  |  1995-11-25  |  2KB  |  63 lines
  1.  
  2. <H1><A ID="SECTION00050000000000000000">
  3. Inside the boxes</A>
  4. </H1>
  5.  
  6. <P>
  7.  
  8.  
  9. =
  10.  
  11.  
  12. <P>
  13. Now for the details of what you can put inside the boxes.
  14. The first thing to notice is that multi-letter identifiers look
  15. better than they do with vanilla L<SUP><SMALL>A</SMALL></SUP>T<SMALL>E</SMALL>X: instead of
  16. <tex2html_verbatim_mark>#math17#specifications, you get <tex2html_verbatim_mark>#math18#<I>specifications</I>.
  17. The letters haven't been spread apart, and the ligature <I>fi</I> has been
  18. used.
  19.  
  20. <P>
  21. Almost all of the mathematical symbols of L<SUP><SMALL>A</SMALL></SUP>T<SMALL>E</SMALL>X can be used, plus
  22. a few extra ones listed below.
  23. The mnemonics I've chosen may seem a little mad, but that's life.
  24. The L<SUP><SMALL>A</SMALL></SUP>T<SMALL>E</SMALL>X symbols you can't use are the ones whose
  25. names have been redefined:
  26. mostly these are the same symbol, but with the spacing fixed for
  27. use in Z specifications.
  28. First, there are some new arrows, and some new names for old ones:
  29. <BR>
  30. <tex2html_image_mark>#nota78#
  31. <BR>
  32. There are also `accents' <tex2html_verb_mark>38<tex2html_verb_mark> and <tex2html_verb_mark>39<tex2html_verb_mark> which put one and two
  33. crossings repectively over the following arrow.
  34. So <tex2html_verb_mark>40<tex2html_verb_mark> gives <tex2html_image_mark>#tex2html_wrap_inline226#⇧<tex2html_image_mark>#tex2html_wrap_inline227#⇧ and (if you insist)
  35. <tex2html_verb_mark>41<tex2html_verb_mark> gives <tex2html_image_mark>#tex2html_wrap_inline229#⇧<tex2html_image_mark>#tex2html_wrap_inline230#⇧.
  36. There are also some new binary operations:
  37. <BR>
  38. <tex2html_image_mark>#nota80#
  39. <BR>
  40. and some new operators:
  41. <BR>
  42. <tex2html_image_mark>#nota82#
  43. <BR>
  44. The unique quantifier ∃<SUB>1</SUB> can be typeset as <tex2html_verb_mark>66<tex2html_verb_mark>.
  45. There are a couple of new ordinary symbols:
  46. <BR>
  47. <tex2html_image_mark>#nota84#
  48. <BR>
  49. as well as a few fancy brackets:
  50. <BR>
  51. <tex2html_image_mark>#nota86#
  52. <BR>
  53. Finally, the following bits and pieces come with the right spacing for Z:
  54. <BR>
  55. <tex2html_image_mark>#nota88#
  56. <BR>
  57. Some of these are duplicates of binary operators listed above, but with
  58. names more appropriate to their use in schema-expressions; there is
  59. also a little more spacing in these variants.
  60. And that's about it.
  61.  
  62. <P>
  63.